Hlavní stránka > Výsledky hledání: keywords:"Lindenbaum algebra"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Teorie a algebry formulí
 Garlík, Michal ; Mlček, Josef (vedoucí práce) ; Glivický, Petr (oponent)
V předložené práci studujeme teorie prvého řádu a jejich Lindenbaumovy algebry zkoumáním vlastností řetězu BnT n<ω, nazvaného B-řetěz, kde BnT je podalgebra Lindenbaumovy algebry daná formulemi s nejvýše n volnými proměnnými. Obohatíme strukturu Lindenbaumovy algebry, abychom zachytili rozdíly mezi teoriemi, jejichž B-řetězy jsou člen po členu izomorfní. Podáme několik příkladů teorií a spočítáme jejich B-řetězy. Zkonstruujeme model Robin- sonovy aritmetiky s n-tou algebrou definovatelných množin izomorfní kartézskému součinu spočetné atomární saturované Booleovy algebry a spočetné bezatomární Booleovy algebry. 1
Úplný záznam
Teorie a algebry formulí
 Garlík, Michal ; Mlček, Josef (vedoucí práce) ; Glivický, Petr (oponent)
V předložené práci studujeme teorie prvého řádu a jejich Lindenbaumovy algebry zkoumáním vlastností řetězu BnT n<ω, nazvaného B-řetěz, kde BnT je podalgebra Lindenbaumovy algebry daná formulemi s nejvýše n volnými proměnnými. Obohatíme strukturu Lindenbaumovy algebry, abychom zachytili rozdíly mezi teoriemi, jejichž B-řetězy jsou člen po členu izomorfní. Podáme několik příkladů teorií a spočítáme jejich B-řetězy. Zkonstruujeme model Robin- sonovy aritmetiky s n-tou algebrou definovatelných množin izomorfní kartézskému součinu spočetné atomární saturované Booleovy algebry a spočetné bezatomární Booleovy algebry. 1
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English